GitLab Pages
Paul John King
Version·Version
5.0.19_3b2bbcc 2021-09-28 21:09:09 +0200
Lebenslauf·Curriculum vitae
HTML - https://paul_john_king.gitlab.io/Lebenslauf.html
PDF - https://paul_john_king.gitlab.io/Lebenslauf.pdf
Abschlusszeugnisse·Diplomas
Doktor der Philosophie, mathematische Logik·Doctor of Philosophy, mathematical logic - https://paul_john_king.gitlab.io/diplomas/Doctorate.pdf.
Bakkalaureus der Wissenschaften, Mathematik·Bachelor of Science, mathematics - https://paul_john_king.gitlab.io/diplomas/Baccalaureate.pdf.
Bescheinigungen·Certificates
LPIC-1 Certified Linux Administrator - https://paul_john_king.gitlab.io/certificates/LPIC-1.pdf.
SUSE Certified Linux Professional, SUSE Linux Enterprise Server 12 - https://paul_john_king.gitlab.io/certificates/SCLP_SLES_12.pdf.
Arbeitszeugnisse·References
open*i GmbH (2) - https://paul_john_king.gitlab.io/references/openi_2.pdf.
open*i GmbH (1) - https://paul_john_king.gitlab.io/references/openi_1.pdf.
levigo solutions gmbh - https://paul_john_king.gitlab.io/references/levigo-solutions.pdf.
CANCOM IT Solutions GmbH - https://paul_john_king.gitlab.io/references/Cancom.pdf.
The Prometheus Project - https://paul_john_king.gitlab.io/references/Prometheus.pdf.
„pc-online‟ Computer Handels GmbH - https://paul_john_king.gitlab.io/references/pc-online.pdf.
Artikel·Papers
Typed Feature Structures for Expressing and Computationally Implementing Feature Cooccurence Restrictions - https://paul_john_king.gitlab.io/papers/Feature_Coocurrence_Restrictions.pdf.
The Correct and Efficient Implementation of Appropriateness Specifications for Typed Feature Structures - https://paul_john_king.gitlab.io/papers/Appropriateness_Specifications.pdf.
Typed Feature Structures as Descriptions - https://paul_john_king.gitlab.io/papers/Feature_Structures_as_Descriptions.pdf.
Reconciling Austinian and Russellian Accounts of the Liar Paradox - https://paul_john_king.gitlab.io/papers/Accounts_of_the_Liar_Paradox.pdf.
The Automatic Deduction of Classificatory Systems from Linguistic Theories - https://paul_john_king.gitlab.io/papers/Deduction_of_Classificatory_Systems.pdf.
Towards Truth in Head-Driven Phrase Structure Grammar - https://paul_john_king.gitlab.io/papers/Towards_Truth_in_HPSG.pdf.
The Complexity of Modelability in Finite and Computable Signatures of a Constraint Logic for Head-driven Phrase Structure Grammar - https://paul_john_king.gitlab.io/papers/Complexity_of_Modelability.pdf.